英日字典: mathematical_logic
The mathematical_logic has 1 Senses.
- formal logic, mathematical logic, symbolic logic
- 形式論理学, 形式論理, 数学的論理学, 記号論理学
- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
- 一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
返回 →